failure 485:

Requirement failed: {scalbf.14.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == 1) || isInfinity_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == -1) == true` means that EDOM SHALL be set
location
trace /var/opt/lsb/test/olver-core/2013-01-21_10-20-40/util_float_scenario.utz (util_float_scenario.utt), line 17017
occurence
scenario util_float_scenario
specification function scalb_spec()
parameter value  CallContext context = [pid=17999,thr=b752d6c0]
parameter value  Unifloat * @x = (float) 0.0000000000000000e+00 (0x.00000000P1F)
parameter value  Unifloat * x = (float) 0.0000000000000000e+00 (0x.00000000P1F)
parameter value  Unifloat * @n = (float) Infinity
parameter value  Unifloat * n = (float) Infinity
parameter value  ErrorCode * @errno = EOK
parameter value  ErrorCode * errno = EOK
return value  (Unifloat *) (float) NaN
coverage
& branch
C
x is zero, n is infinity
properties
REQ failed scalbf.14.01.01
kind POSTCONDITION_FAILED
similar known bug(s)
The scalb() family of functions shall compute x*r^n, where r is the radix of the machine's floating-point arithmetic. According to LSB, the functions shall set EDOM error code when x is zero and n is +Inf, or x is Inf and n is -Inf and ERANGE when overflow occurs. But the functions sets error code EOK in these cases.